Profinite semigroups and applications∗
نویسندگان
چکیده
Profinite semigroups may be described shortly as projective limits of finite semigroups. They come about naturally by studying pseudovarieties of finite semigroups which in turn serve as a classifying tool for rational languages. Of particular relevance are relatively free profinite semigroups which for pseudovarieties play the role of free algebras in the theory of varieties. Combinatorial problems on rational languages translate into algebraic-topological problems on profinite semigroups. The aim of these lecture notes is to introduce these topics and to show how they intervene in the most recent developments in the area.
منابع مشابه
Subword Complexity of Profinite Words and Subgroups of Free Profinite Semigroups
We study free profinite subgroups of free profinite semigroups of the same rank using, as main tools, iterated implicit operators, subword complexity and the associated entropy.
متن کاملFree profinite locally idempotent and locally commutative semigroups
This paper is concerned with the structure of semigroups of implicit operations on the pseudovariety LSl of finite locally idempotent and locally commutative semigroups. We depart from a general result of Almeida and Weil to give two descriptions of these semigroups: the first in terms of infinite words, and the second in terms of infinite and bi-infinite words. We then derive some applications...
متن کاملProfinite semigroups
We present a survey of results on profinite semigroups and their link with symbolic dynamics. We develop a series of results, mostly due to Almeida and Costa and we also include some original results on the Schützenberger groups associated to a uniformly recurrent set.
متن کاملSemidirect Product with an Order-computable Pseudovariety and Tameness
The semidirect product of pseudovarieties of semigroups with an order-computable pseudovariety is investigated. The essential tool is the natural representation of the corresponding relatively free profinite semigroups and how it transforms implicit signatures. Several results concerning the behavior of the operation with respect to various kinds of tameness properties are obtained as applicati...
متن کامل